Concurrent Programming in T-cham

A coordination style programming language, T-Cham, is proposed. It is based on the paradigm of the chemical abstract machine (Cham) and transaction programming paradigm. Hierarchical tuple spaces, where the \molecules" of the Cham reside, are used to coordinate the concurrent transactions, which could be written in any language, such as C, Pascal, or Fortran etc., even T-Cham itself, as long as they satisfy their preconditions and post-conditions. A transaction can begin its execution whenever its execution condition is met. T-Cham has an intuitive presentation and yet a formal background. A T-Cham program can be executed in a parallel, distributed, or sequential manner based on the available resources.